Current State ID: 145
Current State Description: - Elevator fast0 is at floor 1 (n1), with 1 passenger (p1), capacity 2.- Elevator fast1 remains at floor 2 (n2), empty, capacity 2.- Elevator slow0-0 remains at floor 0 (n0), empty, capacity 1.- Elevator slow1-0 remains at floor 2 (n2), empty, capacity 1.- Passenger p0 is on floor 0 (n0).- Passenger p1 is onboard fast0.- Passenger p2 is on floor 2 (n2).- Passenger p3 is on floor 0 (n0).- Passenger p4 is on floor 1 (n1).- Passenger p5 is on floor 2 (n2).

Child State ID: 156
Action Taken: move-up-fast(fast0, n1, n3)
State Description: - Elevator fast0 is at floor 3 (n3), with 1 passenger (p1), capacity 2.- Elevator fast1 remains at floor 2 (n2), empty, capacity 2.- Elevator slow0-0 remains at floor 0 (n0), empty, capacity 1.- Elevator slow1-0 remains at floor 2 (n2), empty, capacity 1.- Passenger p0 is on floor 0 (n0).- Passenger p1 is onboard fast0.- Passenger p2 is on floor 2 (n2).- Passenger p3 is on floor 0 (n0).- Passenger p4 is on floor 1 (n1).- Passenger p5 is on floor 2 (n2).

Child State ID: 158
Action Taken: board(p4, fast0, n1, 1, 2)
State Description: - Elevator fast0 is at floor 1 (n1), with 2 passengers (p1 and p4), capacity 2.- Elevator fast1 remains at floor 2 (n2), empty, capacity 2.- Elevator slow0-0 remains at floor 0 (n0), empty, capacity 1.- Elevator slow1-0 remains at floor 2 (n2), empty, capacity 1.- Passenger p0 is on floor 0 (n0).- Passenger p1 is aboard fast0.- Passenger p2 is on floor 2 (n2).- Passenger p3 is on floor 0 (n0).- Passenger p4 is aboard fast0.- Passenger p5 is on floor 2 (n2).

